PHI345   Advanced Logic   (20 credits)

Description

This module will build upon the second year Formal Logic module PHI203. The course will present various ideas that are fundamental to modern logic and will consider the philosophical implications of those ideas. For instance, we will consider the foundational role of set theory, the notion of computability, and the elements of modal logic (the logic of possibility and necessity).Version 2:This module will build upon the second year Formal Logic module PHI203. The course will present and consider various parts of formal logic that are central to large amounts of recent philosophical discussion. For instance, it will examine the central results about propositional and first-order logic, second-order logic, Godel's incompleteness theorem, and the elements of modal logic (the logic of possibility and necessity).

Reading List